kw.\*:("Non deterministic system")
Results 1 to 25 of 474
Selection :
Fair termination revisited-with delayAPT, K. R; PNUELI, A; STAVI, J et al.Theoretical computer science. 1984, Vol 33, Num 1, pp 65-84, issn 0304-3975Article
Non deterministic machines and their generalizationsBERTONI, A; MAURI, G; SABADINI, N et al.Lecture notes in physics. 1983, Num 196, pp 86-97, issn 0075-8450Article
On varieties of density and crossing properties for event structuresKOSTOV, V. E; STARKOVA, S. A; VIRBITSKAITE, I. B et al.Computers and artificial intelligence. 1995, Vol 14, Num 6, pp 611-622, issn 0232-0274Article
Canonical prefixes of Petri net unfoldingsKHOMENKO, Victor; KOUTNY, Maciej; VOGLER, Walter et al.Lecture notes in computer science. 2002, pp 582-595, issn 0302-9743, isbn 3-540-43997-8, 14 p.Conference Paper
Choice construct and lindström logicsHOANG, H. K.Lecture notes in computer science. 1999, pp 105-125, issn 0302-9743, isbn 3-540-65922-6Conference Paper
Some observations on the connection between counting and recursionWAGNER, K. W.Theoretical computer science. 1986, Vol 47, Num 2, pp 131-147, issn 0304-3975Article
An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactionsRUIZ, David; CORCHUELO, Rafael; PEREZ, José A et al.Lecture notes in computer science. 2002, pp 563-572, issn 0302-9743, isbn 3-540-44049-6, 10 p.Conference Paper
On the structure of one-tape nondeterministic turing machine time hierarchyKOBAYASHI, K.Theoretical computer science. 1985, Vol 40, Num 2-3, pp 175-193, issn 0304-3975Article
From Lifting to System TransformationOHTA, Yoshito.Perspectives in Mathematical System Theory, Control, and Signal Processing (A Festschrift in Honor of Yutaka Yamamoto on the Occasion of His 60th Birthday). Lecture notes in control and information sciences. 2010, Vol 398, pp 207-216, issn 0170-8643, isbn 978-3-540-93917-7 3-540-93917-2, 1Vol, 10 p.Book Chapter
Reuse of SMI 2.0 scripts in dividable dynamic timeline-based authoringYANG, Chun-Chuan; WANG, Yung-Chi; CHU, Chen-Kuei et al.IEEE International Conference on multimedia. 2004, isbn 0-7803-8603-5, 3Vol, vol2, 1235-1238Conference Paper
SLAP'02 : synchronous languages, applications, and programming (Grenoble, 13 April 2002)Maraninchi, Florence; Girault, Alain; Rutten, Eric et al.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 200 p.Conference Proceedings
Introduction to the theory of complexity and approximation algorithmsJANSEN, T.Lecture notes in computer science. 1998, pp 5-28, issn 0302-9743, isbn 3-540-64201-3Conference Paper
Representing Place/Transition nets in Span(Graph)KATIS, P; SABADINI, N; WALTERS, R. F. C et al.Lecture notes in computer science. 1997, pp 322-336, issn 0302-9743, isbn 3-540-63888-1Conference Paper
Reversible simulation of space-bounded computationsCRESCENZI, P; PAPADIMITRIOU, C. H.Theoretical computer science. 1995, Vol 143, Num 1, pp 159-165, issn 0304-3975Article
Turing machines with few accepting computations and low sets for PPKÖBLER, J; SCHÖNING, U; TODA, S et al.Journal of computer and system sciences (Print). 1992, Vol 44, Num 2, pp 272-286, issn 0022-0000Article
Fault tolerance by transparent replication for Distributed Ada 95WOLF, T; STROHMEIER, A.Lecture notes in computer science. 1999, pp 412-424, issn 0302-9743, isbn 3-540-66093-3Conference Paper
OBDD-based universal planning : Specifying and solving planning problems for synchronized agents in non-deterministic domainsJENSEN, R. M; VELOSO, M. M.Artificial intelligence today (recent trends and developments). Lecture notes in computer science. 1999, pp 213-248, issn 0302-9743, isbn 3-540-66428-9Book Chapter
Sequencing for concrete placement using RAG-CAD data structureRAGHAVAN KUNIGAHALLI; RUSSELL, J. S.Journal of computing in civil engineering. 1995, Vol 9, Num 3, pp 216-225, issn 0887-3801Article
Some complexity results on transition systems and elementary net systemsHIRAISHI, K.Theoretical computer science. 1994, Vol 135, Num 2, pp 361-376, issn 0304-3975Article
A distributed synchronisation scheme for communicating processesNATARAJAN, N.Computer journal (Print). 1986, Vol 29, Num 2, pp 109-117, issn 0010-4620Article
Alternation and ω-type turing acceptorsLINDSAY, P. A.Theoretical computer science. 1986, Vol 43, Num 1, pp 107-115, issn 0304-3975Article
Discernibility functions and minimal rules in non-deterministic information systemsSAKAI, Hiroshi; NAKATA, Michinori.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28653-5, 2Vol, Part I, 254-264Conference Paper
KMONITOR - : A tool for monitoring plan execution in action theoriesEITER, Thomas; FINK, Michael; SENKO, Jan et al.Lecture notes in computer science. 2005, pp 416-421, issn 0302-9743, isbn 3-540-28538-5, 6 p.Conference Paper
Constraint transformation for IC physical designMALAVASI, E; CHARBON, E.IEEE transactions on semiconductor manufacturing. 1999, Vol 12, Num 4, pp 386-395, issn 0894-6507Conference Paper
Modelling IP mobilityAMADIO, R. M; PRASAD, S.Lecture notes in computer science. 1998, pp 301-316, issn 0302-9743, isbn 3-540-64896-8Conference Paper